Clariso, R.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2016 10th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS) - Fukuoka, Japan (2016.7.6-2016.7.8)] 2016 10th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS) - Towards a Learning Analytics Support for Intelligent Tutoring Systems on MOOC Platforms

Baneres, David, Caballe, Santi, Clariso, Robert

Year:

2016

Language:

english

File:

PDF, 492 KB

english, 2016

2

A UML/OCL framework for the analysis of graph transformation rules

Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara

Journal:

Software & Systems Modeling

Year:

2010

Language:

english

File:

PDF, 1.52 MB

english, 2010

3

On the verification of UML/OCL class diagrams using constraint programming

Cabot, J., Clarisó, R., Riera, D.

Journal:

Journal of Systems and Software

Year:

2014

Language:

english

File:

PDF, 2.78 MB

english, 2014

4

Student projects empowering mobile learning in higher education

Rius, Àngels, Clarisó, Robert, Masip, David

Journal:

International Journal of Educational Technology in Higher Education

Year:

2014

Language:

english

File:

PDF, 1.25 MB

english, 2014

5

[IEEE 2016 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA) - Crans-Montana, Switzerland (2016.3.23-2016.3.25)] 2016 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA) - Towards the Effective Software Development of an eLearning Platform Featuring Learning Analytics and Gamification

Jimenez, David Ganan, Caballe, Santi, Clariso, Robert, Conesa, Jordi

Year:

2016

Language:

english

File:

PDF, 207 KB

english, 2016

6

[ACM Press the IEEE/ACM international conference - Antwerp, Belgium (2010.09.20-2010.09.24)] Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10 - Verification-driven slicing of UML/OCL models

Shaikh, Asadullah, Clarisó, Robert, Wiil, Uffe Kock, Memon, Nasrullah

Year:

2010

Language:

english

File:

PDF, 1.67 MB

english, 2010

7

[ACM Press the 1st International Workshop - Montpellier, France (2018.09.03-2018.09.03)] Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis - MASES 2018 - Applying graph kernels to model-driven engineering problems

Clarisó, Robert, Cabot, Jordi

Year:

2018

Language:

english

File:

PDF, 544 KB

english, 2018

8

[ACM Press Proceeedings of the 22nd International Conference - Gothenburg, Sweden (2018.09.10-2018.09.14)] Proceeedings of the 22nd International Conference on Systems and Software Product Line - SPLC '18 - Extracting software product line feature models from natural language specifications

Sree-Kumar, Anjali, Planas, Elena, Clarisó, Robert

Year:

2018

Language:

english

File:

PDF, 713 KB

english, 2018

9

Verification and validation of declarative model-to-model transformations through invariants

Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara

Journal:

Journal of Systems and Software

Year:

2010

Language:

english

File:

PDF, 1.53 MB

english, 2010

10

The octahedron abstract domain

Robert Clarisó, Jordi Cortadella

Journal:

Science of Computer Programming

Year:

2007

Language:

english

File:

PDF, 876 KB

english, 2007

11

[IEEE 2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - Zurich, Switzerland (2012.06.2-2012.06.2)] 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) - EMFtoCSP: A tool for the lightweight verification of EMF models

Gonzalez, Carlos A., Buttner, Fabian, Clariso, Robert, Cabot, Jordi

Year:

2012

Language:

english

File:

PDF, 1.33 MB

english, 2012

12

[IEEE 2013 Workshops of 27th International Conference on Advanced Information Networking and Applications (WAINA) - Barcelona (2013.3.25-2013.3.28)] 2013 27th International Conference on Advanced Information Networking and Applications Workshops - A Study on Practices against Malware in Free Software Projects

Colomina, I., Arnedo-Moreno, J., Clariso, R.

Year:

2013

Language:

english

File:

PDF, 654 KB

english, 2013

13

[IEEE Fifth International Conference on Application of Concurrency to System Design (ACSD'05) - St. Malo, France (07-09 June 2005)] Fifth International Conference on Application of Concurrency to System Design (ACSD'05) - Verification of Concurrent Systems with Parametric Delays Using Octahedra

Clariso, R., Cortadella, J.

Year:

2005

Language:

english

File:

PDF, 245 KB

english, 2005

14

[IEEE ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 - Yohohama, Japan (27-30 Jan. 2004)] ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE Cat. No.04EX753) - Verification of timed circuits with symbolic delays

Clariso, R., Cortadella, J.

Year:

2004

Language:

english

File:

PDF, 467 KB

english, 2004

15

Experiences in Digital Circuit Design Courses: A Self-Study Platform for Learning Support

Baneres, David, Clariso, Robert, Jorba, Josep, Serra, Montse

Journal:

IEEE Transactions on Learning Technologies

Year:

2014

Language:

english

File:

PDF, 1.29 MB

english, 2014

16

[ACM Press the twenty-second IEEE/ACM international conference - Atlanta, Georgia, USA (2007.11.05-2007.11.09)] Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07 - UMLtoCSP

Cabot, Jordi, Clarisó, Robert, Riera, Daniel

Year:

2007

Language:

english

File:

PDF, 547 KB

english, 2007

17

Backwards reasoning for model transformations: method and applications

Clarisó, Robert, Cabot, Jordi, Guerra, Esther, de Lara, Juan

Journal:

Journal of Systems and Software

Year:

2015

Language:

english

File:

PDF, 1.20 MB

english, 2015

18

Conflictos en el manejo integrado de los recursos hídricos: La Crisis de la Gobernabilidad y los Usuarios del Agua

Xavier Cazorla-Clarisó

Journal:

Ecología Política

Year:

2003

File:

PDF, 2.62 MB

2003

19

[IEEE 2016 International Conference on Intelligent Networking and Collaborative Systems (INCoS) - Ostrawva, Czech Republic (2016.9.7-2016.9.9)] 2016 International Conference on Intelligent Networking and Collaborative Systems (INCoS) - A Prototype of an eLearning Platform in Support for Learning Analytics and Gamification

Ganan, David, Caballe, Santi, Clariso, Robert, Conesa, Jordi

Year:

2016

Language:

english

File:

PDF, 296 KB

english, 2016

20

Constraint programming for type inference in flexible model-driven engineering

Zolotas, Athanasios, Clarisó, Robert, Matragkas, Nicholas, Kolovos, Dimitrios S., Paige, Richard F.

Journal:

Computer Languages, Systems & Structures

Year:

2016

Language:

english

File:

PDF, 1.52 MB

english, 2016

21

[IEEE 2016 10th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS) - Fukuoka, Japan (2016.7.6-2016.7.8)] 2016 10th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS) - Analysis and Design of an eLearning Platform Featuring Learning Analytics and Gamification

Ganan, David, Caballe, Santi, Clariso, Robert, Conesa, Jordi

Year:

2016

Language:

english

File:

PDF, 314 KB

english, 2016

22

Smart Bound Selection for the Verification of UML/OCL Class Diagrams

Clariso, Robert, Gonzalez, Carlos A., Cabot, Jordi

Journal:

IEEE Transactions on Software Engineering

Year:

2017

Language:

english

File:

PDF, 830 KB

english, 2017

23

[IEEE 2017 ACM/IEEE 20th International Conference on Model-Driven Engineering Languages and Systems (MODELS) - Austin, TX (2017.9.17-2017.9.22)] 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) - Translating Target to Source Constraints in Model-to-Model Transformations

Cuadrado, Jesus Sanchez, Guerra, Esther, de Lara, Juan, Clariso, Robert, Cabot, Jordi

Year:

2017

Language:

english

File:

PDF, 551 KB

english, 2017

24

[IEEE 2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC) - Coimbra (2018.9.4-2018.9.7)] 2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC) - Fixing Defects in Integrity Constraints via Constraint Mutation

Clariso, Robert, Cabot, Jordi

Year:

2018

Language:

english

File:

PDF, 164 KB

english, 2018

25

[IEEE 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE) - Montreal, QC, Canada (2019.5.26-2019.5.27)] 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE) - Belief Uncertainty in Software Models

Burgueno, Loli, Clariso, Robert, Cabot, Jordi, Gerard, Sebastien, Vallecillo, Antonio

Year:

2019

File:

PDF, 1.57 MB

2019